1. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
پدیدآورنده : Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer logic
رده :
QA
76
.
L28
Vol
.
2083
2. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
3. Methods of Cut-Elimination
پدیدآورنده : / Matthias Baaz, Alexander Leitsch
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving,Proof theory,اثبات قضیه ماشینی,اثبات نظریه
رده :
QA76
,.
9
.
A96
,
B33
2011
4. The Resolution Calculus
پدیدآورنده : / Alexander Leitsch
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Calculus.
رده :
QA300
.
L3C2
5. The Resolution calculus
پدیدآورنده : Leitsch, Alexander
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Calculus
رده :
QA
303
.
L45
R4
6. The resolution calculus
پدیدآورنده : Alexander Leitsch.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Auflösungsprinzip,Automatic theorem proving.,Automatisches Beweisverfahren
رده :
QA76
.
9
.
A96
A449
1997
7. The resolution calculus
پدیدآورنده : / Alexander Leitsch
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Calculus
رده :
QA
303
.
L55
1997
